Added support for Polycode being able to use single-precision

Reopening #433. Rebased again on screenrewrite.