Does it manage to support floats? I am not sure if those can be safely used in the UEFI environment. (I recall GRUB’s build of Lua being integer-only, and Linux avoiding the use of floating-point arithmetic in kernel mode, but I don’t remember the reason.)

Floating point was not supported in the Linux kernel to avoid having to save/restore FP registers.

Yeah floats works