add MustInt64 interface