Corrected PHP type for "decimal" mapping type

"Basic Mapping" documentation says:
"decimal: Type that maps a SQL DECIMAL to a PHP string."