Reimplemented to_int64()