Is There A Megafunction For Arctan ?

Unfortunately casting won't help. The actual operand presented to the synthesis would still be a real, which is not synthesizable.

Writing an integer equivalent for the arctan() function as given in the ieee_math_real is not that difficult. I'll might give it a shot later tonight (after finishing my other work duties).