minor updates according to NumericExtensions v0.3