Fix conversion of large positive python numbers to uint64