Hi Pooh,
All numbers in PPL are double type by default.
10.20937 * 3.493 is valid.
1038.23221 / 256.668 too.
Hope this answers your question. If not please let me know.
Regards,
Kornalius
About numbers of double accuracy