Made changes in python module to handle uint64.