typing and overflow

Coming from the world of statically typed languages I am trying figure out
whether SPARQL specifies a model of type determination within expressions.
C and C++ have a set of integral promotions and a rule that - in the
absence of a prototype - float gets promoted to double.  Those rules then
imply the boundaries at which overflow checking occurs.

Does SPARQL have anything analogous?  Does SPARQL acknowledge overflow?
Where would I find such notions specified?

/john

>
>

-- 

*SPARQLcity reshapes the world of big data.*
Immediately gain knowledge from NoSQL databases.