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