hunting for weird rounding error