int(1 * i64)
