Особенности поведения awk

[cae32]

Основная платформа - 64 бита. Embedded - 32. Программа примитивная, админская, суть не в ней. Максимальное значение - uint32_t. А вот вывод на двух платформах - разный. Ну, что float посредине, это я с трудом вспомнил. Но, вот что на 32-битных у него даже %u даёт max_int, было неожиданно.
На основной платформе этого, конечно, не видно. Бида, пичать, пошёл домой думать, чем можно обойти.