{-# OPTIONS --safe #-}
module Data.Float where

open import Data.Float.Base                 public
open import Data.Float.Path                 public
open import Data.Float.Properties           public
open import Data.Float.Instances.Everything public
