Update Stream.php

integer -> int