    -- | 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)