如何在组装AT＆T中打印号码？

Question

我是程序集的新手，我想用程序集AT＆T打印存储在寄存器中的值。

.text
.globl main

main:
    mov $42, %edx

    # what should be here?

    mov $1, %eax
    mov $0, %ebx
    int $0x80

我找到了许多带有“ .data”节和write调用的“ Hello，world”示例，但是write接受字符串缓冲区，而不是整数。将%edx中的数字输出到stdout的最优雅方法是什么？