Add models and interfaces

packages/emitter-framework/src/python/builtins.ts

@@ -4,6 +4,13 @@ import { createModule } from "@alloy-js/python";
 // eslint-disable-next-line @typescript-eslint/no-unused-vars
 type dummy = SymbolCreator;
 
+export const abcModule = createModule({
+  name: "abc",
+  descriptor: {
+    ".": ["ABC"],
+  },
+});
+
 export const datetimeModule = createModule({
   name: "datetime",
   descriptor: {
@@ -21,6 +28,17 @@ export const decimalModule = createModule({
 export const typingModule = createModule({
   name: "typing",
   descriptor: {
-    ".": ["Any", "Never", "NoReturn", "TypeAlias", "Tuple", "Callable", "Protocol"],
+    ".": [
+      "Any",
+      "Callable",
+      "Generic",
+      "Literal",
+      "Never",
+      "Optional",
+      "Protocol",
+      "TypeAlias",
+      "TypeVar",
+      "Tuple",
+    ],
   },
 });

packages/emitter-framework/src/python/components/atom/atom.test.tsx

@@ -57,9 +57,54 @@ describe("NumericValue", () => {
   });
 
   it("decimals", async () => {
-    const value = $(program).value.createNumeric(42.5);
+    const fractional = $(program).value.createNumeric(42.5);
+    await testValueExpression(fractional, `42.5`);
+  });
+
+  it("decimals with .0", async () => {
+    // Generic Atom (no hint) normalizes 42.0 to 42 because it uses asNumber()
+    const value = $(program).value.createNumeric(42.0);
+    await testValueExpression(value, `42`);
+  });
+
+  it("decimals with .0 when assumeFloat", async () => {
+    const value = $(program).value.createNumeric(42.0);
+    expect(getOutput(program, [<Atom value={value} assumeFloat />])).toRenderTo(`42.0`);
+  });
+
+  it("negative integers", async () => {
+    const value = $(program).value.createNumeric(-42);
+    await testValueExpression(value, `-42`);
+  });
+
+  it("negative decimals", async () => {
+    const value = $(program).value.createNumeric(-42.5);
+    await testValueExpression(value, `-42.5`);
+  });
+
+  it("zero", async () => {
+    const value = $(program).value.createNumeric(0);
+    await testValueExpression(value, `0`);
+  });
+
+  it("zero with assumeFloat", async () => {
+    const value = $(program).value.createNumeric(0);
+    expect(getOutput(program, [<Atom value={value} assumeFloat />])).toRenderTo(`0.0`);
+  });
+
+  it("exponent that resolves to integer", async () => {
+    const value = $(program).value.createNumeric(1e3);
+    await testValueExpression(value, `1000`);
+  });
+
+  it("exponent that resolves to integer with assumeFloat", async () => {
+    const value = $(program).value.createNumeric(1e3);
+    expect(getOutput(program, [<Atom value={value} assumeFloat />])).toRenderTo(`1000.0`);
+  });
 
-    await testValueExpression(value, `42.5`);
+  it("small decimal via exponent", async () => {
+    const value = $(program).value.createNumeric(1e-3);
+    await testValueExpression(value, `0.001`);
   });
 });
 

packages/emitter-framework/src/python/components/atom/atom.tsx

@@ -10,6 +10,11 @@ interface AtomProps {
    * The TypeSpec value to be converted to a Python expression.
    */
   value: Value;
+  /**
+   * Hint that this numeric value should be emitted as a float (e.g., 42 -> 42.0).
+   * Only affects NumericValue.
+   */
+  assumeFloat?: boolean;
 }
 
 /**
@@ -23,8 +28,12 @@ export function Atom(props: Readonly<AtomProps>): Children {
     case "BooleanValue":
     case "NullValue":
       return <py.Atom jsValue={props.value.value} />;
-    case "NumericValue":
-      return <py.Atom jsValue={props.value.value.asNumber()} />;
+    case "NumericValue": {
+      const num = props.value.value.asNumber();
+      const isNonInteger = num != null && !Number.isInteger(num);
+      const asFloat = isNonInteger || props.assumeFloat === true;
+      return <py.Atom jsValue={num} asFloat={asFloat} />;
+    }
     case "ArrayValue":
       return (
         <py.Atom