Hardening asserts for SILK float