Bugfix: need to cast uint64 as int for printing