Setting PopupDecimalPlaces does not have any effect

[nickmqb]

Setting the PopupDecimalPlaces option does not have any effect on .NET Framework, ASP.NET MVC.

Looking at the code, it seems like the problem is with StackExchange.Profiling.Internal.Render.Includes() (2nd overload).
This overload does not emit the data-decimal-places attribute, whereas the first one does.