lua: use float instead of double, reduces the gc data structure size by 4 byte =...