remove isfloat64(). closes #4056