class SatFloat1
{
public static void main(String[] args)
{
java.util.Random random = new java.util.Random(42);
float f=random.nextFloat();
// conversions
int i=(int)f;
char c=(char)f;
long l=(long)f;
double d=f;
short s=(short)f;
// constants
f=1.1234f;
f=java.lang.Float.POSITIVE_INFINITY;
f=java.lang.Float.NEGATIVE_INFINITY;
f=java.lang.Float.NaN;
}
}