What aspect of portable floating point did Java back down on? | Hacker News Reader