Tag NumericExtensions v0.4.1