[[ Bugfix 13257 ]] Removed unnecessary casting to float