If there is a bug, it is better to just fix it.   (The problem with `dot` is that it can overflow, although in practice this will not occur very often.)