Tag NumericExtensions v0.3.5