Just make it integer, anyway