math: fdim is correctly rounded