Add a missing u64 case.