Floating-point numbers

In single-float.diesel:

extend module Stdlib;

module SingleFloat;
abstract class single_float isa float;

Single-precision float parsing operations:

fun parse_as_float(s:string):single_float;
fun parse_as_float(s:string, if_error:&():single_float):single_float;

Single-precision float constants:

let pi:float;
let min_positive_single_float:float;
let max_single_float:float;
let min_single_float:float;
let single_float_infinity:float;
let single_float_negative_infinity:float;
let single_float_NaN:float;

end module SingleFloat;

In double-float.diesel:

extend module Stdlib;

module DoubleFloat;
class double_float isa float;

Double-precision float parsing operations:

fun parse_as_double(s:string):double_float;
fun parse_as_double(s:string, if_error:&():double_float):double_float;

Double-precision float constants:

let min_positive_double_float:float;
let max_double_float:float;
let min_double_float:float;
let double_float_infinity:float;
let double_float_negative_infinity:float;
let double_float_NaN:float;

end module DoubleFloat;