Don't be too smart about uint64.