float# Floating point types and operations. Classes FloatVal Custom value for a floating point number.