Is Smart Eiffel ready for large-scale application ?

Hello everybody, 

Do you think SmartEiffel is currently useable for a large commercial
project? (I think about few dozens thousand lines.). I am looking for
a language as efficient as C++ (if not more) and really object
oriented. I like the idea of contract programming and all the Eiffel
stuff but I am a little bit scared because I am currently reading a
lot of your mail on the Smarteiffel mailing list and you seem to
hesitate on very basic problems like the implementation of REAL /
INTEGER type. Can you say me if Smart Eiffel is useable for
large-scale application?

Best regards

A. Payement