Minimal value types for Java