wrong notation on float: fixes #140