add float to integer saturate_cast. close #9