lua: switch to double precision for floats