floating-point number Definition for floating-point number is being prepared and will be available soon.