Talk:Koenigsegg Championship/@comment-27554970-20161019010845/@comment-27554970-20161019025033

So 82.0 is likely 0001110, and 83.0 is likely 0101120, unless rounding errors happen badly, for whichever is need for 25%. 86.0 would be 1213121 if that makes 75%. Good rounding errors could help cheapen that a bit, but probably not that much of a difference.