final interval changes done in TitanFloat

Eclipse Webmasterrequested to merge
github/fork/andreapalfi/master into master

Created by: andreapalfi

Signed-off-by: andreapalfi andrea.palfi@ericsson.com

Merge request reports

Copyright © Eclipse Foundation AISBL. All rights reserved.     Privacy Policy | Terms of Use | Copyright Agent