fixed uint64 representation