DifferentiableFloat