lily — 9/22/2022, 9:29:14 AM

I’ve never seen someone express the type float as

Floating point number (real)

before