@prefix : <#> .
@prefix math: <http://www.w3.org/2000/10/swap/math#> .

{ "0.5" math:floor 0 } => {:test1a a :SUCCESS}.
{ 1 math:floor 1 } => {:test1b a :SUCCESS}.
{ "-2.5" math:floor -3 } => {:test1c a :SUCCESS}.
{ -0.8 math:floor -1 } => {:test1d a :SUCCESS}.

{ -8.1 math:floor ?x } => {:test2a :is ?x}.

{ (1) math:floor ?x } => {:test2a a :FAILURE}.
