double型の中身（printfで表示）が 135.000000 256.000000 の変数を int にキャストすると 134 255 になる状況がある。そして、 中身 257.000000 を int にキャストすると 257 になる。後者が当然正しい動作。floor()を使っても同じ結果。浮動小数点のどこか…