binary 0.5 (for older GHCs)