<?php

var_dump((real) 42);

?>