ATerm SSL_is_real(ATerm) ;
ATerm SSL_cos(ATerm) ;
ATerm SSL_sin(ATerm) ;
ATerm SSL_sqrt(ATerm) ;
ATerm SSL_atan2(ATerm, ATerm) ;
ATerm SSL_real_to_string(ATerm) ;
ATerm SSL_real_to_string_precision(ATerm, ATerm) ;
ATerm SSL_string_to_real(ATerm) ;
ATerm SSL_real(ATerm) ;
