Is 0.8 Smaller Than 0.15