add MustInt64()

another one for API consistency