functions.php with real numbers