BUG: due to slight differences float multiplication changed for integer division.