Parameter Float.1-E

type t = float
val eq : t -> t -> bool