[M3devel] Percent to REAL?

[Martin Bishop]

I'm feeling silly, but I need to convert a percentage (stored as an
INTEGER) into a REAL, so I tried FLOAT(num) / 100.0 but that doesn't
work.  I tried using FLOAT(num DIV 100) but that doesn't work either.  I
also tried FLOAT(num MOD 100) just to try everything, and that didn't
work either.

How can I convert a percentage into a REAL? For example, 70% -> 0.70