I think you should be able to define each arithmetic instance a Design Partition. Use manual assignments to place the logic then use Post-Fit-Strict properties on the Partition to keep it from moving.
I am finding that using Post-Fit-Strict with Design Partitions is much more useful than defining a formal Logic Lock (as one would use for floorplanning).
-A
