Fix #511: support uint64 integers in type inference (e.g. 2**64 - 1)

I don't know if this is extremely important.