Compile-time calculation of part of softmin.