あ、そうそう。 整数型変換で端数を切られるのとFLOOR()では挙動が別物なんだけど、FLOORでも15になっちゃうのかなぁ…？