Stop Firefox from complaining about real numbers