Implement #subst for part
Implement #to_f and improve integral_spec