Play fast and loose with IEEE-754 rewrite RULES