Automatic Exploration of Reduced Floating-Point Representations in Iterative Methods