small fixes and float tolerance for un. var. solver