拡大実数 (かくだいじっすう) — extended real number | Kumi Dictionary