>93
double を指定しているのは戻り値の型であって、sqrt() の引数の型には寄与してないから特定できないんじゃない？
x の型は bind の解釈には無関係だよね？