こんな記事を見かけた 先ほどからイマイチな実装として紹介してきた「0.5足して小数点以下を切り捨てる」が内部実装だと書いてありますので、上の挙動は仕様だと言えそうです。この記述だけでエッジケースの分かるJavaプログラマがどれほどいるかは疑問です…