This was definitely a missing feature. I realized this, when single precision became too coarse for my simulation setup. This depends on #55 due to the double precision flag being introduced there among others.
Coverage increased (+0.01%) when pulling f093c04d8d5d27003d17a6f60fab3272a3be2688 on feature/double_precision into 52d5aa151051b8b20f9f0f237d3c27e08d21fde1 on master.
This was definitely a missing feature. I realized this, when single precision became too coarse for my simulation setup. This depends on #55 due to the double precision flag being introduced there among others.