BugFix: cast op