$int = int($int); # converted