fixed type issue with 64 bit integers