$roundedNumber = number_format($AAI, 2, ".", "");
There is a PHP function for almost every concievable operation you can perform on strings and numbers.
Download the manual if you haven't already and browse; In the future you'll have a rough idea of where to look.
Happy coding!