Tag NumericExtensions v0.2.17