include Base.Sexpable.S with type t := $t$1
val t_of_sexp : Base.Sexp.t -> $t$1val sexp_of_t : $t$1 -> Base.Sexp.tFloat.ClassExcluding nan the floating-point "number line" looks like:
t Class.t example
^ neg_infinity Infinite neg_infinity
| neg normals Normal -3.14
| neg subnormals Subnormal -.2. ** -1023.
| (-/+) zero Zero 0.
| pos subnormals Subnormal 2. ** -1023.
| pos normals Normal 3.14
v infinity Infinite infinityinclude Base.Sexpable.S with type t := $t$1val t_of_sexp : Base.Sexp.t -> $t$1val sexp_of_t : $t$1 -> Base.Sexp.tinclude Base.Stringable.S with type t := $t$1