Hi,

yes, N is used, but it is used in both expressions and so it should give the same result, since the only difference ist the FullSimplify. In any case: I think mathematica should know, that Log[10^3]/Log[10] is 3 without a FullSimplify. P.Q.

From my understanding a CAS-system shouldn give here the same outputs.

And it does so. This problem arises solely from the mindless usage of N[]

In[27]:= Union[(Floor[N[FullSimplify[Log[10^3]/Log[10]], #]] - Floor[N[Log[10^3]/Log[10], #]]) & /@ RandomReal[{1., 100.}, 1000]]
Out[27]= {0}

if you consider that a sloppy argument, look at this

In[28]:= Floor[N[FullSimplify[Log[10^3]/Log[10]], 1.]] - Floor[N[Log[10^3]/Log[10], 1.]]
Out[28]= 0

even that works

In[31]:= Floor[N[FullSimplify[Log[10^3]/Log[10]], .0]] - Floor[N[Log[10^3]/Log[10], .0]]
Out[31]= 0

and this

In[32]:= Floor[N[FullSimplify[Log[10^3]/Log[10]], 0]] - Floor[N[Log[10^3]/Log[10], 0]]
Out[32]= 0

and this

 In[35]:= Floor[N[FullSimplify[Log[10^3]/Log[10]], $MachinePrecision]] - Floor[N[Log[10^3]/Log[10], $MachinePrecision]]
 Out[35]= 0

You hit seemingly the only case not working

In[34]:= Floor[N[FullSimplify[Log[10^3]/Log[10]]]] - Floor[N[Log[10^3]/Log[10]]]
Out[34]= 1

despite the description in the help, that In[35] is equivalent to In[34].