Issue #1519852 by Niklas Fiekas: Use the new number FAPI element for the number field textfield widget.