chiark / gitweb /
Check for unnecessary push/pop in 'float'