void main()
{
	float f = 2; // Should be 2.0
}