DifferentiableInt 1.0.0-RC0