+ //255.0 to force conversion to double
+ //NOTE As Jürgen Spitzmüller pointed out, an alternative would be
+ //to use the xcolor package instead, and then we can do
+ // \define{shadcolor}{RGB}...
+ //and not do any conversion. We'd then need to require xcolor
+ //in InsetNote::validate().
+ int const stmSize = packages.precision(2);