Check for unnecessary push/pop in 'float'