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