IEEE_754-2008 - nobuoka-pub