So, what rules apply for the generated liberty files? I noticed that float values between 512 and 999 has a leading whitespace. I assume this is a bug, or is there some legacy reason behind this? It would make the precision a tiny bit worse on these values