0.456 or .456

[Markus Huber <pulse@...>]

Is this a feature, a bug, or again an difference in the RISC OS version?
Or what I am missing?

print(.456)     --> 0.456
print(.0456)    --> 0.456   **
print(.00456)   --> 0.0456  **
print(.000456)  --> 0.00456 **

print(0.456)    --> 0.456
print(0.0456)   --> 0.0456      
print(0.00456)  --> 0.00456     
print(0.000456) --> 0.000456    

Markus