Consider this: You are trying to convert a string in lisp to a real number using atof and the number appears truncated. Is there a way to get the complete number:
Command: (atof "1234.34456")
The number is not rounded off internally. The number displayed on the command line is however. You can use the rtos function to get the complete number when all the digits need to be seen by the user.
Command: (setq test (atof "0.4732223983"))
Command: (rtos test 2 10)