I’ve never seen someone express the type float as

Floating point number (real)

before