$float =~ /\A\d\.\d{3}\z/;