common_type is properly SFINAE-able
Merge branch 'master' into algorithms-reboot