sig
type
a = fpclass
val
min_bound : a
val
max_bound : a
end