I need uint64, which is not the default