ABS tests now pass for all configurations; fix bug with abs(FIX_MIN)