Vale, vamos a probar a redondear el numero con round()
Código PHP:
Ver originalopciones_post_input_box
( $post->ID, '_stock', array( 'placeholder' => round('10') ) );
Ejemplo como funcionaria.
Si introduces por ejemplo 10.0, 10.1, 10.2, 10.3, 10.4 = resultado es 10
Si introduces 10.5, 10.6, 10,7, 10.8, 10.9 = resultado es 11
----
Si sigue sin funcionarte, prueba también a separar el entero con los decimales.
Código PHP:
Ver original$precio = '10.00';
$entero = $separar[0];
$decimal = $separar[1];
opciones_post_input_box
( $post->ID, '_stock', array( 'placeholder' => $entero ) );
No lo e probado pero creo que devería funcionar.
Saludos.