updated user.c to use Int64GetDatum.