Description

Mpflt represents a floating-point constant.