They probably took the decimal separator for a thousands separator. :o

//