Do we really want all numbers to be in bold? Perhaps it might be better just to leave them vanilla, which makes the pure text form read a little nicer too.