irrational type