DEPRECATED: Helper form element validator: number.
Use element_validate_number() instead.
element_validate_number()
function _element_validate_number($element, &$form_state) { element_validate_number($element, $form_state); }