> 15.25 in decimal
> is exactly
> 1111.01 in binary

No it's not. It is 1111.01 in *fixed* point. Floating-point, however,
is significantly different.