Is this a bug? Floor[Log[4]/Log[2]]
We must force a symbolic manipulation:
Log[4]/Log[2] // PowerExpand Log[4]/Log[2] // FullSimplify Log[4]/Log[2] // Floor // PowerExpand Log[4]/Log[2] // Floor // FullSimplify