<?php var_dump( is_numeric('2.14.0-DEV'), (int) '2.14.0-DEV' );
You have javascript disabled. You will not be able to edit any code.