FEAT: add float.reds into includes.r