use Int64 for length of Uint32 ranges on 64-bit