181351 posts 1993 follows 1215 followers
Please pay attention to random failures.
ISO/IEC 10967-2:2001の5.3.6.6にpower_F: F × F → F ∪ {underflow, overflow, infinitary, invalid} が定義されていた。