-- | Useful information about various types.
module Cryptol.Utils.Types where

-- | Exponent and precision of 32-bit IEEE-754 floating point.
float32ExpPrec :: (Integer, Integer)
float32ExpPrec :: (Integer, Integer)
float32ExpPrec = (Integer
8, Integer
24)

-- | Exponent and precision of 64-bit IEEE-754 floating point.
float64ExpPrec :: (Integer, Integer)
float64ExpPrec :: (Integer, Integer)
float64ExpPrec = (Integer
11, Integer
53)