ucode: add temporary fix for integer formatting on 32bit systems