fix: number to float conversion on 64bit machines