infinity := 4095.99998;