synthesis boundary for mkFloatMac
simplify first/last condition to try to make timing on kc705