Fair! Good point about multimedia/animation/etc. There are still a lot of people doing a lot of work in which they hardly ever want a floating point number but

Fair! Good point about multimedia/animation/etc. There are still a lot of people doing a lot of work in which they hardly ever want a floating point number but end up using it because it's the "obvious" one that happens when you just write `4.2`, and the BigDecimal is cumbersome to use.