I've just realized that we might want to pimp not only ints but also BigDecimals.