public function rule_decimal($a) { if (!preg_match('/^[0-9]+\\.[0-9]+$/', $a)) { return $this->fail('must be a decimal number: eg 12.34'); } }