Store double* in operand stack instead of char*

All operands are either doubles, or constants whose values are doubles.
This removes the need for a lot of double-to-string and string-to-double
helper functions.