FloatLiteralType

The default type for an otherwise-unconstrained floating-point literal.