ゼロ除算も例外ではなく、どういう値になるかが定義されている。