HIL: fixed floating point errors