Use std::floor instead of casting double -> int -> double

Use std::floor instead of casting double -> int -> double #17